grammar and other edits #51

Bokceris1 · 2025-08-21T21:15:37Z

No description provided.

В контексте примера было не понятно, что такое ADL, дополнил пример

Добавил заметку про Fold expressions

Bokceris1 · 2025-08-21T21:18:19Z

Я добавил заметку про Fold Expression, если она имеет место быть, я хотел бы получить картинку с практики, где показывали графики с использовался fold exp и нет, чтобы вставить её в конце для наглядности

Bokceris1 · 2025-08-21T21:20:16Z

Также сделал несколько грамматических исправлений (grammar). И немного изменил пример на странице 16_namespaces_using_adl

Почистил заметку

Из-за того, что функции объявлены в одном порядке, а используются в другом возникает путаница, что из них считать первым вариантом. Решил чётко разграничить

dedlocc · 2025-09-16T19:26:11Z

src/10_libraries.md

 }
 ```
 ```c++
+// five


five.cpp, тогда уж

dedlocc · 2025-09-16T19:27:35Z

src/16_namespaces_using_adl.md

 ```c++
+namespace my_lib {
+	struct big_integer {};
+	void swap(big_integer&, big_integer&) {// ... //}


таких комментариев в языке нет, лучше /* и */

dedlocc · 2025-09-16T19:33:42Z

src/20_perfect_forwarding.md

+
+В **C++17** появилась фича **Fold Expressions**, позволяющая сделать свёртку по элементам пака относительно бинарного оператора.
+
+Мотивирующий пример: попробуем научиться проверять, есть ли тип (T) в паке. Так как пак в C++ имеет вид lazy array (То есть мы имеем право получить только Head и Tail), очевидна следующая реализация:


имена типов и других идентификаторов лучше заключать в `

dedlocc · 2025-09-16T19:34:11Z

src/20_perfect_forwarding.md

+
+В **C++17** появилась фича **Fold Expressions**, позволяющая сделать свёртку по элементам пака относительно бинарного оператора.
+
+Мотивирующий пример: попробуем научиться проверять, есть ли тип (T) в паке. Так как пак в C++ имеет вид lazy array (То есть мы имеем право получить только Head и Tail), очевидна следующая реализация:


часть предложения в скобках не должна начинаться с большой буквы

вроде fixed

Не знаю, является ли "C++26", но если является напишите

dedlocc · 2025-09-16T19:35:33Z

src/20_perfect_forwarding.md

+
+В **C++17** появилась фича **Fold Expressions**, позволяющая сделать свёртку по элементам пака относительно бинарного оператора.
+
+Мотивирующий пример: попробуем научиться проверять, есть ли тип (T) в паке. Так как пак в C++ имеет вид lazy array (То есть мы имеем право получить только Head и Tail), очевидна следующая реализация:


"lazy array" это какой-то распространённый в таком контексте термин? я впервые слышу

давай или ссылку, где он применяется, либо не будем его упоминать

ну здесь имеется в виду lazy sequence, но я лучше это просто уберу

dedlocc · 2025-09-16T19:38:05Z

src/20_perfect_forwarding.md

+};
+```
+
+Чем плоха такая реализация? Предположим в паке N элементов, тогда компилятор будет проводить N инстансов шаблона `have_type`. Как можно это пофиксить? Вспомним, что `...` ставится там, где перечисляются элементы. В Fold expressions это и используется. Тогда предыдущий пример можно переписать так:


ditto про идентификаторы

dedlocc · 2025-09-16T19:38:52Z

src/20_perfect_forwarding.md

+В **C++17** появилась фича **Fold Expressions**, позволяющая сделать свёртку по элементам пака относительно бинарного оператора.
+
+Мотивирующий пример: попробуем научиться проверять, есть ли тип (T) в паке. Так как пак в C++ имеет вид lazy array (То есть мы имеем право получить только Head и Tail), очевидна следующая реализация:


перед сложным примером, уходящим в сторону метапрограммирования, полезно показать какой-нибудь более простой и типичный пример свёртки

Добавил пример с sum

dedlocc · 2025-09-16T19:40:42Z

src/20_perfect_forwarding.md

+
+template <typename Type, typename... Types>
+struct have_type<Type, Types...> {
+    static constexpr bool value = std::is_same_v<Type, Types> || ...;


это не скомпилируется по нескольким причинам

dedlocc · 2025-09-16T19:42:42Z

src/20_perfect_forwarding.md

+
+Чем это хорошо? 
+- Нет рекурсии.
+- Быстрее compile time, потому что меньше инстансов и у компилятора есть возможность делать оптимизации.


английский ну совсем на ровном месте, давай заменим на "время компиляции"

dedlocc · 2025-09-16T19:43:05Z

src/20_perfect_forwarding.md

+
+Чем это хорошо? 
+- Нет рекурсии.
+- Быстрее compile time, потому что меньше инстансов и у компилятора есть возможность делать оптимизации.


не совсем понял, о каких оптимизациях речь

Я здесь немного ошибся с примером в метапрограммировании (хотя здесь тоже должны быть оптимизации, потому что проиходит свёртка булов). Здесь всё-таки имеются в виду вообще оптимизации fold-ов, даже вне метапроги. Насчёт оптимизаций: я вообще думал, что компилятор умеет делать что-то типо свёртки констант в компайл тайме (Например свернуть sum(1, 2, 3, 4) в return 10), но почему-то когда я начал это на godbolt писать, то оно не воспроизвелось. Есть оптимизация булов https://godbolt.org/z/nbKcof5qf вот тут видно, что компилятор может соптимизировать вывод false после первого встреченного false, конечно он делает нечто подобное и в случае когда вызывается функция two, но он её не инлайнит, поэтому может быть больше джампов по программе например. Да и пример может быть сложнее. +у компилятора есть пространство для векторизации(то есть, допустим сложить несколько чиселок за 1 инструкцию). В общем случае, всё, что сказано выше заключено во фразе "Нет рекурсии", но я считаю важным написать про оптимизации

Я засомневался, что пример с оптимизацией булов действительно подходит, поэтому вот пример когда работает constant folding с делением https://godbolt.org/z/MYqYcnzG6 (с -O2)

Bokceris1 added 7 commits August 20, 2025 00:41

grammar 1

1ab37dc

grammar 2

61b1d33

grammar 3

dad108d

example upd

77a892d

В контексте примера было не понятно, что такое ADL, дополнил пример

grammar 4

a180d5b

Fold expressions

3283d2b

Добавил заметку про Fold expressions

format upd

e1d568a

Bokceris1 added 4 commits August 22, 2025 16:37

20_perfect_forwarding.md Fols Expressions 2.0

18e998d

Почистил заметку

Update 21_decltype_auto_nullptr.md. Grammar 5

e0a43d1

Update 22_lambdas_type_erasure.md. Grammar 6

9899681

dedlocc requested changes Sep 16, 2025

View reviewed changes

fixes dub1

100c617


		В C++17 появилась фича Fold Expressions, позволяющая сделать свёртку по элементам пака относительно бинарного оператора.

		Мотивирующий пример: попробуем научиться проверять, есть ли тип (T) в паке. Так как пак в C++ имеет вид lazy array (То есть мы имеем право получить только Head и Tail), очевидна следующая реализация:

grammar and other edits #51

Are you sure you want to change the base?

grammar and other edits #51

Uh oh!

Conversation

Bokceris1 commented Aug 21, 2025

Uh oh!

Bokceris1 commented Aug 21, 2025

Uh oh!

Bokceris1 commented Aug 21, 2025

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Bokceris1 Sep 17, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Bokceris1 Sep 18, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Bokceris1 Sep 17, 2025 •

edited

Loading

Bokceris1 Sep 18, 2025 •

edited

Loading